Refine your search

You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Subject = Logic, computer science,  | 
Results: 12 found in 0.018 seconds

1

2

>

>>

 
▼Title ▲
▼Author▲
 Publisher Edition
▼Shelf▲
 At
6
Discrete structures, logic, and computability /
ISBN: 086720477X 		Jones and Bartlett, c1995. QA76 .H383 1995 NEU Grand Library[General Collection]
Available
0
Essence of logic /
ISBN: 0133963756 		Prentice Hall, 1997. QA76 .K396 1997 NEU Grand Library[General Collection]
Available
0
Parallelism and implementation of logic and constraint logic programming /
ISBN: 1560726733 		Nova Science Pub., c1999. QA76.58 P37 1999 NEU Grand Library[General Collection]
Available
0
Evolving knowledge bases :
specification and semantics /
ISBN: 158603278X (IOS Press : hd.bd.) 		IOS Press ; c2003. QA76063 L45 2003 NEU Grand Library[General Collection]
Available
0
Gödel '96 :
logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
ISBN: 1568811535 (pbk. : alk. paper) 		Association for Symbolic Logic, c2001. QA9.A1 G6 1996 NEU Grand Library[General Collection]
Available
0
Minds and machines
Kluwer Academic Publishers, c1991- Q334 .M56 Online electronic
Not for loan
0
ACM transactions on computational logic
Association for Computing Machinery, c2000- QA76.9.L63 A3 Online electronic
Not for loan
0
Essence of logic /
ISBN: 0133963756 		Prentice Hall, 1997. QA76 .K396 1997 NEU Grand Library[General Collection]
Available
0
Artificial intelligence /
ISBN: 0333597559 		Macmillan, 1994. Q335 .P73 1994 NEU Grand Library[General Collection]
Available
0
An Undergraduate Fuzzy Logic Control Lab Using a Line Following Robot
Wiley-Blackwell, 2011. QA75.5 .U53 2011 NEU Grand Library[Online electronic]
Available
Quick search
Term:
Full phrase Any word

1

2

>

>>

Results 1 - 10 of 12 records.
New search | Back to the last search

NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.